package yapl.typeChecker;

public class IntType extends Type {
	
	
}
